Fix debug build of Xen.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 23 Sep 2005 16:47:48 +0000 (17:47 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 23 Sep 2005 16:47:48 +0000 (17:47 +0100)
xen/arch/x86/vmx_vmcs.c

index 62f4647d133f3539c53676b0ebdf14d684495bec..4e26652639d63c7d99e44ac6cb5d14cdf1debcfc 100644 (file)
@@ -144,10 +144,6 @@ static void vmx_setup_platform(struct vcpu *v, struct cpu_user_regs *regs)
     e820_map_nr = *(p + E820_MAP_NR_OFFSET);
     e820entry = (struct e820entry *)(p + E820_MAP_OFFSET);
 
-#ifndef NDEBUG
-    print_e820_memory_map(e820entry, n);
-#endif
-
     for ( i = 0; i < e820_map_nr; i++ )
     {
         if (e820entry[i].type == E820_SHARED_PAGE)